λ Functional Programming - tomasvemola · Scour

Functional Algorithms, Verified 📐Type Systems

www21.in.tum.de·6d·Lobsters

Reflection On Recursion • 2 📐Type Systems

inquiryintoinquiry.com·11h

A Gradual Probabilistic Lambda Calculus 📐Type Systems

arxiv.org·1d

Show HN: Agent Tuning, using recursion to achieve predictable agent output 🎮Deterministic Simulation

github.com·4h·Hacker News

Tim Bradshaw: Rules for Lisp programs 📐Type Systems

tfeb.org·1d

Retrospective on binary search and comp{ress,ilat}ion (2015) 📐Type Systems

pvk.ca·7h·Hacker News

Slap: Functional Concatenative Language... with a Borrow Checker? 📐Type Systems

lobste.rs·5d·Lobsters

Structured Software Architecture 📐Type Systems

programmingsimplicity.substack.com·12h·Substack

Simple System + Rick Feedback 📐Type Systems

ericnormand.substack.com·2d·Substack

AI-designed proteins built from scratch can recognize specific compounds 🔍Property Testing

phys.org·2h

The Boxes Were Already Open 📐Type Systems

srodingr.substack.com·22h

Sealed Classes and Exhaustive Pattern Matching: How They Change API Design, Not Just Syntax 📐Type Systems

javacodegeeks.com·2d

I Accidentally Reinvented Kernel (Programming Language) 📐Type Systems

fayash.me·4d·Hacker News

Show HN: Job-focused lists of product companies using Go, Rust, Scala, Elixir 🦀Rust

readytotouch.com·10h·Hacker News

Giving LLMs a Formal Reasoning Engine for Code Analysis 📐Type Systems

yogthos.net·1d·Lobsters, Hacker News

Idiomatic Lisp and the nbody benchmark 📐Type Systems

stylewarning.com·6d·Lobsters, Hacker News, r/programming

Beyond Static Analysis: Proving Automotive Cybersecurity and Functional Safety 📐Type Systems

embedded.com·1d

emerge-elixir/emerge: Elxir UI toolkit that runs natively, backed by rust and skia 💧Elixir

github.com·11h

Adam Bien: Formal Methods, Functional Programming, and Securing the Java Ecosystem--airhacks.fm podcast 📐Type Systems

adambien.blog·2d

Binary Lambda Calculus is Hard 📐Type Systems

aartaka.me·4d·r/functionalprogramming

Loading more...